# LaTeX2HTML 2022 (Released January 1, 2022)
# Associate images original text with physical files.
$key = q/{rail}*{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img7.png"
 ALT="\begin{rail}
\end{rail}">|; 
$key = q/{rail}+{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img6.png"
 ALT="\begin{rail}
\end{rail}">|; 
$key = q/{rail}?{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img8.png"
 ALT="\begin{rail}
\end{rail}">|; 
$key = q/{rail}x*{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img9.png"
 ALT="\begin{rail}
\end{rail}">|; 
$key = q/{rail}x+{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img5.png"
 ALT="\begin{rail}
\end{rail}">|; 
$key = q/{rail}xy{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img3.png"
 ALT="\begin{rail}
x \ y
\end{rail}">|; 
$key = q/{rail}x{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img2.png"
 ALT="\begin{rail}
x \\\\
\end{rail}">|; 
$key = q/{rail}{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 2.10ex; vertical-align: 177.13ex; " SRC="|."$dir".q|img1.png"
 ALT="\begin{rail}
\end{rail}">|; 
$key = q/{rail}|x|y|xy{rail};AAT/;
$cached_env_img{$key} = q|<IMG
  STYLE="height: 3.92ex; vertical-align: 173.57ex; " SRC="|."$dir".q|img4.png"
 ALT="\begin{rail}
\ Vert x \ Vert \ y \vert x \ y
\end{rail}">|;